sum_(n=1)^infinity binom(2n,n)